home *** CD-ROM | disk | FTP | other *** search
/ SPACE 1 / SPACE - Library 1 - Volume 1.iso / program / 363 / tprolog1 / editor.toy < prev    next >
Text File  |  1990-02-03  |  4KB  |  191 lines
  1.  
  2. 'edit'('/'(:0, :1)) :
  3.    'not'(','('atom'(:0), 'integer'(:1))) .
  4.    '!' .
  5.    'write'('Bad parameters : ') .
  6.    'write'('edit'('/'(:0, :1))) .
  7.    'nl' .
  8.    'fail' .
  9.    []
  10. 'edit'('/'(:0, :1)) :
  11.    'predefined'(:0, :1) .
  12.    '!' .
  13.    'write'('Can''t edit system routine : ') .
  14.    'write'('/'(:0, :1)) .
  15.    'nl' .
  16.    'fail' .
  17.    []
  18. 'edit'(:0) :
  19.    'tag'('ed'(:0, 0)) .
  20.    []
  21. 'ed'(:0, :1) :
  22.    'show'(:0, :1) .
  23.    '!' .
  24.    'docmd'(:0, :1, :2) .
  25.    'ed'(:0, :2) .
  26.    []
  27. 'ed'(:0, :1) :
  28.    'display'('Cursor out of range : ') .
  29.    'display'(:1) .
  30.    'nl' .
  31.    'ed'(:0, 0) .
  32.    []
  33. 'docmd'(:0, :1, :2) :
  34.    'repeat' .
  35.    'getline'(:3) .
  36.    'cmd'(:3, :0, :1, :2) .
  37.    '!' .
  38.    []
  39. 'getline'('[]') :
  40.    'rch' .
  41.    'lastch'(:0) .
  42.    'iseoln'(:0) .
  43.    '!' .
  44.    []
  45. 'getline'(:0 . :1) :
  46.    'lastch'(:0) .
  47.    'getline'(:1) .
  48.    []
  49. 'cmd'('[]', :0, :1, :2) :
  50.    'next_cursor'(:0, :1, :2) .
  51.    []
  52. 'cmd'('+' . '[]', :0, :1, :2) :
  53.    'next_cursor'(:0, :1, :2) .
  54.    []
  55. 'cmd'('-' . '[]', :0, :1, :2) :
  56.    'prev_cursor'(:1, :2) .
  57.    []
  58. 'cmd'('t' . '[]', :0, :1, 0) :
  59.    []
  60. 'cmd'('b' . '[]', :0, :1, :2) :
  61.    'bottom_cursor'(:0, :1, :2) .
  62.    []
  63. 'cmd'('l' . '[]', :0, :1, :1) :
  64.    'listing'(:0) .
  65.    []
  66. 'cmd'('d' . '[]', :0, :1, :2) :
  67.    'delete'(:0, :1, :2) .
  68.    []
  69. 'cmd'('i' . '[]', :0, :1, :2) :
  70.    'insert'(:0, :1, :2) .
  71.    []
  72. 'cmd'('f' . ' ' . :0, :1, :2, :3) :
  73.    'file_insert'(:0, :1, :2, :3) .
  74.    []
  75. 'cmd'('e' . ' ' . :0, :1, :2, :3) :
  76.    'append'(:4, '/' . :5, :0) .
  77.    'call_edit'(:4, :5) .
  78.    []
  79. 'cmd'('x' . '[]', :0, :1, :2) :
  80.    'tagexit'('ed'(:3, :4)) .
  81.    []
  82. 'cmd'('p' . '[]', :0, :1, :1) :
  83.    'invoke_Prolog' .
  84.    []
  85. 'cmd'(:0, :1, :2, :3) :
  86.    'display'('--- incorrect command : ') .
  87.    'writetext'(:0) .
  88.    'nl' .
  89.    'fail' .
  90.    []
  91. 'next_cursor'('/'(:0, :1), :2, :3) :
  92.    'is'(:3, '+'(:2, 1)) .
  93.    'check'('clause'(:0, :1, :3, :4, :5)) .
  94.    '!' .
  95.    []
  96. 'next_cursor'(:0, :1, :1) :
  97.    []
  98. 'prev_cursor'(0, 0) :
  99.    []
  100. 'prev_cursor'(:0, :1) :
  101.    '>'(:0, 0) .
  102.    'is'(:1, '-'(:0, 1)) .
  103.    []
  104. 'bottom_cursor'('/'(:0, :1), :2, :3) :
  105.    'is'(:4, '+'(:2, 1)) .
  106.    'check'('clause'(:0, :1, :4, :5, :6)) .
  107.    '!' .
  108.    'bottom_cursor'('/'(:0, :1), :4, :3) .
  109.    []
  110. 'bottom_cursor'(:0, :1, :1) :
  111.    []
  112. 'delete'(:0, 0, 0) :
  113.    '!' .
  114.    'display'('Can''t delete clause 0') .
  115.    'nl' .
  116.    []
  117. 'delete'('/'(:0, :1), :2, :3) :
  118.    'retract'(:0, :1, :2) .
  119.    'cursor_in_range'(:0, :1, :2, :3) .
  120.    []
  121. 'cursor_in_range'(:0, :1, :2, :2) :
  122.    'check'('clause'(:0, :1, :2, :3, :4)) .
  123.    '!' .
  124.    []
  125. 'cursor_in_range'(:0, :1, :2, :3) :
  126.    'is'(:3, '-'(:2, 1)) .
  127.    []
  128. 'insert'(:0, :1, :2) :
  129.    'repeat' .
  130.    'read'(:3) .
  131.    'convert'(:3, :4, :5) .
  132.    'accept'(:4, :0, :3) .
  133.    '!' .
  134.    'end_or_proceed'(:4, :5, :0, :1, :2) .
  135.    []
  136. 'end_or_proceed'('end', '[]', :0, :1, :1) :
  137.    '!' .
  138.    []
  139. 'end_or_proceed'(:0, :1, :2, :3, :4) :
  140.    'is'(:5, '+'(:3, 1)) .
  141.    'assert'(:0, :1, :3) .
  142.    'insert'(:2, :5, :4) .
  143.    []
  144. 'accept'(:0, :1, 'end') :
  145.    []
  146. 'accept'(:0, '/'(:1, :2), :3) :
  147.    'functor'(:0, :1, :2) .
  148.    []
  149. 'accept'(:0, :1, :2) :
  150.    'display'('--- clause not in edited procedure - ignored') .
  151.    'nl' .
  152.    'write'(:2) .
  153.    'fail' .
  154.    []
  155. 'file_insert'(:0, :1, :2, :3) :
  156.    'pname'(:4, :0) .
  157.    'see'(:4) .
  158.    'insert'(:1, :2, :3) .
  159.    'seen' .
  160.    'see'('user') .
  161.    []
  162. 'call_edit'(:0, :1) :
  163.    'pname'(:2, :0) .
  164.    'pnamei'(:3, :1) .
  165.    'edit'('/'(:2, :3)) .
  166.    []
  167. 'invoke_Prolog' :
  168.    'tag'('loop') .
  169.    []
  170. 'invoke_Prolog' :
  171.    []
  172. 'show'(:0, 0) :
  173.    '!' .
  174.    'write'('[0] ( ') .
  175.    'write'(:0) .
  176.    'write'(' )') .
  177.    'nl' .
  178.    []
  179. 'show'('/'(:0, :1), :2) :
  180.    'side_effects'(','('clause'(:0, :1, :2, :3, :4), ','('conv_body'(:5, :4), ','('display'('['), ','('display'(:2), ','('display'('] '), ','('writeclause'(:3, :5), ','('display'('.'), 'nl')))))))) .
  181.    []
  182. 'append'('[]', :0, :0) :
  183.    []
  184. 'append'(:0 . :1, :2, :0 . :3) :
  185.    'append'(:1, :2, :3) .
  186.    []
  187.  :
  188.    'seen' .
  189.    []#
  190.  
  191.